Concurrent Constraint Programming

Declarative Diagnosis of Temporal Concurrent Constraint Programs

Abstract Interpretation / Logic Programming / Concurrent Constraint Programming